Chinese translation for "theorem proving technique"

定理证明技术

Related Translations:

prove的过去式和过去分词:  proved

theorems:  定理

modularity theorem:  谷山-志村定理谷山志村猜想

isomorphism theorem:  第一同构定理同构基本定理同态基本定理

wieners theorem:  维纳自相关定理

uniqueness theorem:  唯一性定理一义性定理

bound theorem:  界限定理

cauchy theorem:  柯西定理

bayess theorem:  贝叶斯定理

dirichlet theorem:  狄利克雷定理

Similar Words：

"theorem on friends and strangers" Chinese translation, "theorem prover" Chinese translation, "theorem proving" Chinese translation, "theorem proving machine" Chinese translation, "theorem proving representation" Chinese translation, "theorem work-energy" Chinese translation, "theorematic" Chinese translation, "theoremonadditionofprobabilities" Chinese translation, "theorems" Chinese translation, "theorems for limits" Chinese translation